$\forall$${\it es}$:ES, $T$:Type, $I$:MaInterface($T$), $i$:Id.
\\[0ex]($i$ $\in$ ma{-}interface{-}locs($I$)) $\Rightarrow$ ($\forall$$e$:E. (loc($e$) = $i$) $\Rightarrow$ ([[$I$$\mid$$i$]]($e$) $\sim$ [[$I$]]($e$)))